1. An introduction to analysis
پدیدآورنده: Zaring, Wilson M
کتابخانه: كتابخانه پردیس علوم دانشگاه تهران (تهران)
موضوع: ، Calculus,، Logic, Symbolic and mathematical,، Set theory
رده :
QA
303
.
Z3
![](/design/images/bookmore.png)
![](/design/images/visualshelfbtn.png)
2. An introduction to analysis
پدیدآورنده: Zaring, Wilson M.
کتابخانه: كتابخانه مركزی دانشگاه صنعتی شریف (تهران)
موضوع: ، Calculus,، Logic, Symbolic and mathematical,، Set theory
رده :
QA
303
.
Z3
![](/design/images/bookmore.png)
![](/design/images/visualshelfbtn.png)
3. Technical methods in philosophy /
پدیدآورنده: John L. Pollock.
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبانهای اروپایی (قم)
موضوع: First-order logic.,Logic, Symbolic and mathematical.,Metatheory.,Predicate calculus.,Set theory.,Filosofie.,First-order logic.,First-order logic.,Logic, Symbolic and mathematical.,Logic, Symbolic and mathematical.,Logik,Mathematische Logik,Metatheory.,Metatheory.,Predicate calculus.,Predicate calculus.,Predicatenlogica.,Satz,Set theory.,Set theory.,Theorie,Verzamelingen (wiskunde)
رده :
BC135
.
P683
1990
![](/design/images/bookmore.png)
![](/design/images/visualshelfbtn.png)